-recursive function - PDFSEARCH.IO - Document Search Engine

-recursive function
Results: 178

#	Item
101	Notes from the logbook of a proof-checher’s project? Domenico Cantone1 , Eugenio G. Omodeo2 , Jacob T. Schwartz3 , Pietro Ursino1 1 3 Add to Reading List Source URL: www.multimedialibrary.com Language: English - Date: 2014-03-05 10:47:18 Function Injective function Constructible universe Computability theory Μ-recursive function Fréchet derivative Mathematics Mathematical analysis Functions and mappings
102	Defining Recursive Functions in Isabelle/HOL Alexander Krauss Abstract This tutorial describes the use of the function package, which provides general recursive function definitions for Isabelle/HOL. We start with very Add to Reading List Source URL: isabelle.in.tum.de Language: English - Date: 2014-08-27 06:04:04 Recursion Computability theory Mathematical logic Programming idioms Theory of computation Fold Well-founded relation Function Pattern matching Mathematics Computer programming Computing
103	A Recursive Doubling Dirichlet-to-Neumann Map Method for Periodic Waveguides Lijun Yuan and Ya Yan Lu∗ Abstract For optical wave-guiding structures composed of uniform segments that are invariant in the longitudinal di Add to Reading List Source URL: math.cityu.edu.hk Language: English - Date: 2007-08-16 22:40:02 Eigenmode expansion Beam propagation method Function Electrodynamics Mathematics Physical optics
104	A ‘theory’ mechanism for a proof-verifier based on first-order set theory ? Eugenio G. Omodeo1 and Jacob T. Schwartz2 1 2 Add to Reading List Source URL: www.multimedialibrary.com Language: English - Date: 2014-03-05 10:43:38 Functions and mappings Function Axiom schema of replacement First-order logic Equivalence relation Model theory Μ operator Primitive recursive function Mathematics Mathematical logic Logic
105	WS.2011 Exercises to the Lecture FSVT Prof. Dr. Klaus Madlener Add to Reading List Source URL: www-madlener.informatik.uni-kl.de Language: English - Date: 2011-12-19 08:17:21 Theory of computation Goto Mathematics Computing Computer science Recursion Computability theory Primitive recursive function
106	Predicate Abstraction for Relaxed Memory Models Andrei Dan1 , Yuri Meshman2 , Martin Vechev1 , and Eran Yahav2 1 ETH Zurich {andrei.dan, martin.vechev}@inf.ethz.ch Add to Reading List Source URL: www.srl.inf.ethz.ch Language: English - Date: 2013-04-22 14:23:31 Predicate logic Functions and mappings Model theory Propositional calculus Formal languages Predicate Function Primitive recursive function FO Mathematical logic Logic Mathematics
107	Predicate Abstraction for Relaxed Memory Models Andrei Dan1 , Yuri Meshman2 , Martin Vechev1, and Eran Yahav2 1 ETH Zurich {andrei.dan,martin.vechev}@inf.ethz.ch 2 Add to Reading List Source URL: www.srl.inf.ethz.ch Language: English - Date: 2013-05-09 12:11:08 Predicate logic Functions and mappings Model theory Propositional calculus Formal languages Predicate Function Primitive recursive function Interpretation Mathematical logic Logic Mathematics
108	Realizability Toposes Stijn Vermeeren Darwin College Bekaflaan 1 bus[removed]Aarschot Belgium Add to Reading List Source URL: stijnvermeeren.be Language: English - Date: 2010-07-15 09:29:15 Functions and mappings Model theory Computability theory Primitive recursive function Recursion Theory of computation Function Interpretation First-order logic Mathematical logic Mathematics Logic
109	4.6. THE PRIMITIVE RECURSIVE FUNCTIONS[removed] Add to Reading List Source URL: www.cis.upenn.edu Language: English - Date: 2011-02-22 14:54:13 Computer science Mathematical logic Primitive recursive function Computable function Computability Model theory Recursion Μ operator Μ-recursive function Computability theory Theory of computation Theoretical computer science
110	The complexity of real recursive functions Manuel Lameiras Campagnolo D.M./I.S.A., Universidade T´ecnica de Lisboa, Tapada da Ajuda, [removed], Lisboa, Portugal; C.L.C./D.M./I.S.T., Universidade T´ecnica de Lisboa, Av. Add to Reading List Source URL: wslc.math.ist.utl.pt Language: English - Date: 2003-02-11 11:10:46 Mathematical logic Theory of computation Recursion Functions and mappings Programming idioms Primitive recursive function ELEMENTARY Computable function Function Theoretical computer science Mathematics Computability theory

UPDATE